how to prove string is immutable in java